类似可得定理 4.3.2 的引理 3 的连续参数形式, 于是

证毕.